First order tameness of measures

Predictions of protein flexibility: first-order measures.

The normal modes of a molecule are utilized, in conjunction with classical conformal vector field theory, to define a function that measures the capability of the molecule to deform at each of its residues. An efficient algorithm is presented to calculate the local chain deformability from the set of normal modes of vibration. This is done by considering each mode as an off-grid sample of a def...

Concerning Measures in First Order Calculi*

~0. Introduction. The idea of treating probability as a real valued function defined on sentences is an old one (see ['6] and [7], where other references can be found). Carnap's at tempt to set up a theory of probabili ty which will have a logical status analogous to that o f two valued logic, is closely connected with it, ef. [1]. So far the sentences were used mainly from a "Boolean algebraic...

Semidirect Product with an Order-computable Pseudovariety and Tameness

The semidirect product of pseudovarieties of semigroups with an order-computable pseudovariety is investigated. The essential tool is the natural representation of the corresponding relatively free profinite semigroups and how it transforms implicit signatures. Several results concerning the behavior of the operation with respect to various kinds of tameness properties are obtained as applicati...

Autoregressive Gaussian Random Vectors of First Order

Tameness and Extending Frames

We combine two notions in AECs, tameness and good λ-frames, and show that they together give a very well-behaved nonforking notion in all cardinalities. This helps to fill a longstanding gap in classification theory of tame AECs and increases the applicability of frames. Along the way, we prove a complete stability transfer theorem and uniqueness of limit models in these AECs.